Monitoring of Traffic Manoeuvres with Imprecise Information
نویسندگان
چکیده
منابع مشابه
Monitoring of Traffic Manoeuvres with Imprecise Information
In monitoring, we algorithmically check if a single behavior satisfies a property. Here, we consider monitoring for Multi-Lane Spatial Logic (MLSL). The behavior is given as a finite transition sequence of MLSL and the property is that a spatial MLSL formula should hold at every point in time within the sequence. In our procedure we transform the transition sequence and the formula to the first...
متن کاملForming Beliefs with Imprecise Information
An individual forms belief over event using past data. However, in some cases, for some events, it cannot be determined whether the event has occurred. When processing the data, the individual will have to make a judgment regarding the realization of the event. We present a model in which ambiguity arises precisely because of this aspect of information. Attitude towards ambiguity is determined ...
متن کاملImperfect Knowledge in Autonomous Urban Traffic Manoeuvres
Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous urban traffic manoeuvres with perfect knowledge. We now consider a concept of imperfect knowledge, where cars have less information about other cars. To this end, we introduce the concept of a multi-view and propose crossing controllers using broadcast communication with data const...
متن کاملStochastic dominance with imprecise information
Stochastic dominance, which is based on the comparison of distribution functions, is one of the most popular preference measures. However, its use is limited to the case where the goal is to compare pairs of distribution functions, whereas in many cases it is interesting to compare sets of distribution functions: this may be the case for instance when the available information does not allow to...
متن کاملOn Real-Time Monitoring with Imprecise Timestamps
Existing real-time monitoring approaches assume traces with precise timestamps. Their correctness is thus indefinite when monitoring the behavior of systems with imprecise clocks. We address this problem for a metric temporal logic: We identify classes of formulas for which we can leverage existing monitors to correctly reason about observed system
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.257.6